Total Books: 1 - 5 /5
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lire la suite
Programming Languages and Systems
It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Lire la suite
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
Lire la suite
Semantics with Applications: An Appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, ...
Lire la suite
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lire la suite
Total Books: 1 - 5 /5
